Taming the Beast: Diffusion Method in Nonlocal Gravity

Taming the Beast Within

Taming the Metadata Beast: ILOX

We propose a framework for organizing multiple metadata specifications in a container that can be handled as a whole. This framework, named Information for Learning Object eXchange (ILOX), is developed as part of the IMS Learning Object Discovery & Exchange (LODE) specification that aims to facilitate the discovery and retrieval of learning objects stored across more than one collection. While ...

Taming the Static Analysis Beast

While industrial-strength static analysis over large, real-world codebases has become commonplace, so too have difficult-to-analyze language constructs, large libraries, and popular frameworks. These features make constructing and evaluating a novel, sound analysis painful, errorprone, and tedious. We motivate the need for research to address these issues by highlighting some of the many challe...

Easier SystemVerilog with UVM: Taming the Beast

SystemVerilog has been widely adopted as a language for hardware design and verification. At the same time, SystemVerilog is a very large and complex language which can be daunting to learn and use, and differences still remain between implementations. SystemVerilog adoption has been given a new impetus in recent years with the introduction of UVM, the Universal Verification Methodology for Sys...

Taming the beast: rabies control in the cradle of mankind.

Between 2006 and 2012, a rabies control programme has been conducted in the area of Lake Turkana in northern Kenya. Spatial data obtained for this project were analysed with the aim of assessing the importance of dog home ranges with the view of possible overlapping between dog populations from adjacent localities. In contrast to our expectation of the maximum home ranges of dogs in the harsh s...